В основу комплекса средств положены два декларативных языка:
Полученные модели используются при моделировании мультипроцессорных систем. В связи с этим при разработке языка описания ядра процессора упор делался на скорость выполнения инструкций, поэтому в основу был положен ассемблер для i486.
Внутренняя периферия процессора довольно сложна, для описания ее используется Си подобный язык PPDL.
Для получения модели процессора реализованы два транслятора. Эти трансляторы генерируют исходные тексты на языке ассемблера, тексты затем компилируются и полученные объектные модули линкуются. В результате получается динамически загружаемая библиотека (DLL), которая может использоваться в среде моделирования.
Модель процессора реализована с помощью COM технологии. Поэтому она может быть с легкостью использована в любых приложениях. На данный момент эти модели используются в IEESD-2000 и WInter.
Средства генерации моделей поддерживают два уровня адекватности: исполнения по инструкциям и исполнение по тактам. Модели с исполнением по инструкциям быстрее моделей с исполнением по тактам, но у и них меньше адекватность. На первых этапах рекомендуются использовать первый тип моделей, а на этапе тестирования - второй.
Для проверки работоспособности полученных моделей используется набор тестовых файлов, с помощью которых проверяется корректная работа инструкций процессора. С помощью этих тестов модели процессоров автоматически проверяются после внесения изменений. Это обеспечивает постоянный контроль над качеством получаемых моделей.
С помощью данного комплекса средства были получены модели следующих процессоров:
ARM7DTMI, AT90S2313, I8051, MC68HC08, PIC17C4x, TMS320C54x, TMS370.
Модели AT909S2313 и I8051 использовались в коммерческих разработках.